Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine

Source URL: mapcontext.com

• Mathematics
• Data
• Computing
• Cartography
• Geographic data and information
• Formal methods
• Geographic information systems
• Algebra
• Abstract data type
• Spatial analysis
• Algebraic specification
• Addition

Algebraic Specification and OBJ Julio Mari˜ no Universidad Polit´ecnica de Madrid October 31, 2006

Source URL: lml.ls.fi.upm.es

Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011

Source URL: calco2011.ecs.soton.ac.uk

• Metalogic
• Institution
• Common Algebraic Specification Language
• Parity of a permutation
• Structure
• Specification language
• Theory
• Model theory
• Mathematics
• Logic

Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and

Source URL: homepages.inf.ed.ac.uk

• Formal methods
• Software development
• Procedural programming languages
• Programming paradigms
• Extended ML
• Concurrent computing
• Don Sannella
• Specification language
• Algebraic specification
• Computing
• Software engineering
• Computer programming

Algebraic Specification of User Interfaces M. Cabrera, M. Gea, F. Gutierrez, J.C. Torres Dpt. Lenguajes y Sistemas Informaticos Universidad de Granada (Spain)

Source URL: ui4all.ics.forth.gr

• Procedural programming languages
• Graphical user interfaces
• Freedesktop.org
• X Window System
• ALGOL 68
• GUI widget
• Software
• Computing
• System software

tifact Our work includes the specification of the language via a bidirectional type system, which works “up-to-congruence,” and an algorithm for elaborating expressions in this language to an explicitly typed core l

Source URL: www.seas.upenn.edu

• Mathematical logic
• Symbol
• Unification
• First-order logic
• Motive
• Valuation
• Abstract algebra
• Algebraic geometry
• Mathematics

Discovering and Debugging Algebraic Specifications for Java Classes by Johannes Henkel

Source URL: www-plan.cs.colorado.edu

• Field
• Algebraic specification
• Java
• APL
• Computing
• Field theory
• Functional languages

Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Concet

Source URL: leecenter.caltech.edu

• Ring
• Ring theory
• Summation
• Predicate transformer semantics
• Mathematics
• Algebraic structures
• Structure

Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and

Source URL: homepages.inf.ed.ac.uk

• Formal methods
• Software development
• Procedural programming languages
• Programming paradigms
• Extended ML
• Concurrent computing
• Don Sannella
• Specification language
• Algebraic specification
• Computing
• Software engineering
• Computer programming

Statistica Sinica[removed]), [removed]Editorial Expanding the Statistical Toolkit with Algebraic Statistics 1. Evolution of Activities in Algebraic Statistics Polynomials abound in the specification of statistical mode

Source URL: www3.stat.sinica.edu.tw

• Mathematics
• Log-linear model
• Bernd Sturmfels
• Algebraic geometry
• Contingency table
• Logarithm
• Statistics
• Categorical data
• Algebraic statistics